1. July 2, 2011. Proceedings-Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27
Author: / we, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.)نPablo Arrighi, Renan Fargetton, Vincent Nesme (auth.), Benedikt L
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
2. Models of Computation in Context
Author: / we, Dag Normann, Ivan Soskov, Alexandra SoskovaنBenedikt L
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
3. Order Computability-Higher
Author: / John Longley, Dag Normann
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
4. Recursion on the countable functionals
Author: Normann, Dag
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
9
.
6
.
N6
1980
5. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
1
.
L4
v
.
811
6. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
3
.
L28
no
.
811
7. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursion theory,، Computable functions
Classification :
QA
3
.
L28
no
.
811
